#include <stdio.h>

int 
main(int argc, char * argv[]) {
	printf ("argc = %d\targv = %s\n",argc,argv);

	return 0;
}
